Real-Time Systems Development with MASS
نویسندگان
چکیده
In this paper, we demonstrate the capability of mass, a real-time design language, for large systems speciication. The paper presents a hierarchical speciication of an automatic cruise controller that evolves through stepwise reenement. In particular, we show modular design, the separation of the functional and reactive concerns, and the succinct and intuitive nature of speciications in mass.
منابع مشابه
Real Time Dynamic Simulation of Power System Using Multiple Microcomputers
Recent developments in the design and manufacture of microcomputers together with improved simulation techniques make it possible to achieve the speed and accuracy required for the dynamic simulation of power systems in real time. This paper presents some experimental results and outlines new ideas on hardware architecture, mathematical algorithms and software development for this purpose. The ...
متن کاملFormal Development of Real-time Systems with PLOT/MASS
The paper presents a formal development process of a real-time system. We employ two related languages: the real-time logic plot for plant modeling and requirements speciication, and the real-time language mass for the controller design. A deductive proof system is used to verify the design against the requirements. The examples given in the paper demonstrate the special features of the mass/pl...
متن کاملDesign, Development and Test of a Practical Train Energy Optimization using GA-PSO Algorithm
One of the strategies for reduction of energy consumption in railway systems is to execute efficient driving by presenting optimized speed profile considering running time, energy consumption and practical constraints. In this paper, by using real route data, an approach based on combination of Genetic and Particle swarm (GA-PSO) algorithms in order to optimize the fuel consumption is provided....
متن کاملساختار دهی آنی داده‌‌های مکانی ورودی GIS با تأکید بر عارضه راه
An important issue in implementation of a GIS system is preparation of data to be entered in GIS. To produce spatial data for GIS using photogrammetric techniques, conventional method is to apply photogrammetric and GIS systems individually (off-line procedure). This approach is costly, time consuming and somehow unreliable due to the fact that 3D photogrammetric model is not available at the ...
متن کاملReal Time Software Development – an Engineering Approach Andrew
The chapter shall present principles of a structured approach to real-time software development. A typical software architecture of a real-time system will be discussed, including all major components: external process interface, user interface, communication link, mass storage handler, processing component and timer. Characteristics to real-time systems design patterns will be discussed, inclu...
متن کاملDevelopment of New Modified Simple Polymerase Chain Reaction and Real-time Polymerase Chain Reaction for the Identification of Iranian Brucella abortus Strains
Brucellosis is primarily a worldwide zoonotic disease caused by Brucella species. The genus Brucella contains highly infectious species that are classified as biological threat agents. In this regard, the identification of Brucella can be a time-consuming and labor-intensive process posing a real risk of laboratory-acquired infection to the laboratory staff. This stud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 25 شماره
صفحات -
تاریخ انتشار 1999